$\forall$$A$, $B$:Type, ${\it eq}_{1}$:EqDecider($A$), ${\it eq}_{2}$:EqDecider($B$), $L$:((:$A$ $\times$ $B$) List).
\\[0ex]no\_repeats($A$;fpf{-}domain(fpf($L$)))